Realization Theory of Nonlinear Hybrid Sys- tems
نویسنده
چکیده
The paper investigates the realization problem for a class of analytic nonlinear hybrid systems without autonomous switching. Similarly to the classical nonlinear realization theory the realization problem for hybrid systems is translated to a formal realization problem of a class of abstract systems defined on rings of formal power series. Necessary conditions are presented for existence of a realization by such an abstract system and thus by a hybrid system. A notion analogous to the Lie-rank of nonlinear input-output maps is defined and the presented necessary condition involves a requirement that this generalised Lie-rank should be finite. We will also introduce the notion of strong Lie-rank and we will show that finiteness of the strong Lie-rank implies existence of a realization which is very close to the required hybrid system realization. Thus, finiteness of the strong Lie-rank can be seen as an "almost" sufficient condition. In the special case of nonlinear analytic systems both the finite Lie-rank and the finite strong Lie-rank condition presented in the paper reduces to the well-known finite Lie-rank condition. We will use theory of Sweedler-type coalgebras for studying the formal realization problem.
منابع مشابه
Comparative study on canal preparation by three rotary sys-tems using CT scan (An in vitro study)
Comparative study on canal preparation by three rotary sys-tems using CT scan (An in vitro study) Dr. M.H. Zarrabi* - Dr. A. Talati** - Dr. S. Moradi** - Dr. L. Shakeri*** * - Associate Professor and Chief of Endodontics Dept. - Faculty of Dentistry – Mashhad University of Medical Sciences. **- Assistant Professor of Endodontics Dept. - Faculty of Dentistry – Mashhad University of Medical Scien...
متن کاملA necessary condition for local asymptotic stability of discrete-time nonlinear systems with exogenous disturbance
K e y w o r d s D i s c r e t e t i m e nonlinear systems, Control systems, Asymptotic stability, Robust control. 1. I N T R O D U C T I O N Local a sympto t i c s tab i l i za t ion of non l inea r control sys tems is one of the cen t ra l p roblems in control sys tems l i te ra ture . I t is one of the p r im a ry design cr i ter ia in physical , engineer ing, and indus t r i a l problems. Th...
متن کاملAn object-oriented approach to software development for parallel processing systems
Despite the rapid advances i n development of parallel processing sys tems in recent years, the progress i n software development t o effectively utilize the parallel processing sys tems has been relatively slow. I n this paper, a n object-oriented approach t o software development for parallel processing sys tems i s presented. T h i s approach i s based o n a computat ion model which incorpor...
متن کاملTowards a Domain Theory for Termination Proofs
We present a general framework for termination proofs for Higher Order Rewrite Sys tems The method is tailor made for having simple proofs showing the termination of enriched calculi
متن کامل